$\forall$$E$:Type, $t$:Tree($E$). is\_leaf($t$) $\in$ $\mathbb{B}$